package uiMain;

import gestorbienraizok.contratos.Contrato;
import gestorbienraizok.inmuebles.Inmueble;
import gestorbienraizok.usuarios.ClienteDemandador;
import static uiMain.bienRaizOk.usuarioActual;


public class OpcionMostrarPropiedadesContratadas extends OpcionDeMenu{
    
    private String nombreParaMostrar = " Ver mis contratos";

    @Override
    public void ejecutar(){
        ClienteDemandador esteClienteDemandador = (ClienteDemandador) usuarioActual;
        Contrato esteContrato = null;
        
        if(esteClienteDemandador.getListaDeContratos().size()!=0){
            System.out.println("Usted tiene registrados contratos con las siguientes propiedades:\n");
            System.out.println("Cod. contrato   Cod. propiedad   Tipo          Dirección          Tipo de contrato   Fecha         Valor negociado");
            System.out.println("------------------------------------------------------------------------------------------------------------------");
            for(int i = 0; i<esteClienteDemandador.getListaDeContratos().size();i++){
                esteContrato = esteClienteDemandador.getListaDeContratos().get(i);
                System.out.println(esteContrato.getResumen());                
            }
        }else{
            System.out.println("Usted no ha hecho ningún contrato");
        }
    }
    
    @Override
    public String toString(){
        return nombreParaMostrar;
    }
    
    @Override
    public String toStringParaMostrarElNivel() {
        return nombreParaMostrar.trim().concat("...................................................................").substring(0,67) + "Clientes demandantes";
    }
    
}
